1

Making the java memory model safe

Year:
2013
Language:
english
File:
PDF, 2.31 MB
english, 2013
2

CryptHOL: Game-Based Proofs in Higher-Order Logic

Year:
2020
Language:
english
File:
PDF, 1.35 MB
english, 2020
3

On temporal path conditions in dependence graphs

Year:
2009
Language:
english
File:
PDF, 776 KB
english, 2009
5

Analysing Java's safety guarantees under concurrency

Year:
2014
Language:
english
File:
PDF, 171 KB
english, 2014
8

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler

Year:
2018
Language:
english
File:
PDF, 4.46 MB
english, 2018
9

Effect Polymorphism in Higher-Order Logic (Proof Pearl)

Year:
2018
Language:
english
File:
PDF, 598 KB
english, 2018